perm filename NONMON.2[E85,JMC] blob sn#801122 filedate 1985-08-30 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	nonmon.2[e85,jmc]	Some non-monotonic axioms
C00003 ENDMK
CāŠ—;
nonmon.2[e85,jmc]	Some non-monotonic axioms

An action normally doesn't affect a particular fluent.

Two actions normally commute with respect to any particular
fluents.